1. Dependence logic: a new approach to independence friendly logic
المؤلف: Vaananen, J. )Jouko(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، First-order logic
رده :
BC
128
.
V33
2007
2. Dependence logic : a new approach to independence friendly logic
المؤلف: Vaananen, Jouko, 0591-
المکتبة: (طهران)
موضوع: ، First-order logic
رده :
BC
128
.
V23D4
3. Generalized quantifiers and computation
المؤلف: Jouko Väänänen (ed.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
4. Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop : Aix-en-Provence, France, August 11-12, 1997 : revised lectures
المؤلف: Jouko Vaananen )ed.(
المکتبة: (طهران)
موضوع: ، Computer science -- Mathematics,، Computer logic,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1754
5. Logic Colloquium '90 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, July 15-22, 1990
المؤلف: edited by Juha Oikkonen, Jouko Vaananen
المکتبة: (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
2
6. Models and games
المؤلف: Vaananen, Jouko, 0591-
المکتبة: (طهران)
موضوع: ، Model theory
رده :
QA
9
.
7
.
V22M6
